Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
841	Steve Zdancewic Stephan A. Zdancewic, Curriculum Vitae November 20, 2014 www.cis.upenn.edu/˜stevez Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-11-20 11:05:15 Computer science Association for Computing Machinery International Conference on Functional Programming Programming language theory Principles of Programming Languages Programming language SIGPLAN Journal of Functional Programming Continuation Functional programming Software engineering Computing
842	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
843	Publications and notes in chronological order, Mads Tofte Last updated: October 24, 2013 References [1] Mads Tofte. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2013-10-24 09:57:58 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
844	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-08 11:00:15 Computer programming C programming language C++ Procedural programming languages Type theory Typedef Pointer Struct ALGOL 68 Computing Software engineering Data types
845	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
846	Programming Many-core Systems with Embedded Domain Specific Languages Satnam Singh Add to Reading List Source URL: ulf.wiger.net Language: English - Date: 2008-02-20 06:04:57 Programming language theory VHDL Verilog Domain-specific language Haskell Field-programmable gate array Hardware description languages Software engineering Computing
847	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
848	Reconstructing Trust Management Ajay Chander ∗ Drew Dean † John C. Mitchell∗ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-02-04 00:01:29 Simple public key infrastructure Access control Logic in computer science Programming language semantics Access Control Matrix Kernel Architecture of Windows NT Operational semantics Logical access control Security Computer security Key management
849	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
850	2014 ENROLLMENT KIT FLYER SAVE SAVE Add to Reading List Source URL: www.doterratools.com Language: English - Date: 2015-03-03 11:36:12 Oils Computing ML Lemon Programming language theory Software engineering Essential oil

UPDATE